Skip to content

Conversation

@aentinger
Copy link
Contributor

This fixes #11.

@aentinger aentinger added the type: enhancement Proposed improvement label Dec 14, 2021
@aentinger aentinger self-assigned this Dec 14, 2021
@aentinger aentinger merged commit 8a811f1 into master Dec 14, 2021
@aentinger aentinger deleted the fix-11 branch December 14, 2021 12:18
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

type: enhancement Proposed improvement

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Add GitHub Actions workflow to synchronise with shared repository labels

2 participants